 Group is   
    ../timeit.sml
    term.sml
    trail.sml
    unify.sml
    data.sml
    main.sml

